<html xmlns="http://www.w3.org/1999/xhtml">
 <head>
  <meta charset="utf-8"/>
  <link href="themes/blue/style.css" rel="StyleSheet" type="text/css"/>
  <style type="text/css">
   header { background-color:white;} .drag {position:absolute;}
  </style>
  <script src="tablesorter/jquery-latest.js" type="text/javascript">
  </script>
  <script src="tablesorter/jquery.tablesorter.js" type="text/javascript">
  </script>
  <script src="external/mousescroll.js" type="text/javascript">
  </script>
  <script src="external/jquery.drag.js" type="text/javascript">
  </script>
  <script src="external/jquery.drop.js" type="text/javascript">
  </script>
  <script type="text/javascript">
   $(function () {
 $("#tab1").tablesorter({sortList:[[0,20]]});  
     });
  </script>
  <script>
  </script>
  <script type="text/javascript">
   parent.document.getElementById('result1-name').innerHTML = "Search Identifiers";
  </script>
  <title>
   Search Identifiers
  </title>
 </head>
 <body bgcolor="#ffffff">
  <table class="tablesorter" id="tab1">
   <thead>
    <tr>
     <th class="header">
      File
     </th>
     <th class="header">
      Definition
     </th>
    </tr>
   </thead>
   <tbody>
    <tr>
     <td>
      <a href="/source?pane=result2&amp;project-component=pmhanoi.pli&amp;sline=1&amp;eline=9" target="result2">
       pmhanoi.pli
      </a>
     </td>
     <td>
      <pre>pmhanoi : PACKAGE EXPORTS (hanoi, client);
%REPLACE NUMBER_OF_DISKS BY 5;
%REPLACE NULLHANDLE BY 0;
%INCLUDE "defns/defns.pli";
%INCLUDE "logic/hanoi.pli";
%INCLUDE "graphic/client.pli";
%INCLUDE "graphic/get_screen_resolution.pli";
END pmhanoi;</pre>
     </td>
    </tr>
   </tbody>
  </table>
 </body>
</html>